The Role of Deontic Logic in the Specification of Information Systems

In this paper we discuss the role that deontic logic plays in the specification of information systems, either because constraints on the systems directly concern norms or, and even more importantly, system constraints are considered ideal but violable (so-called `soft¿ constraints).\ud To overcome the traditional problems with deontic logic (the so-called paradoxes), we first state the importance of distinguishing between ought-to-be and ought-to-do constraints and next focus on the most severe paradox, the so-called Chisholm paradox, involving contrary-to-duty norms. We present a multi-modal extension of standard deontic logic (SDL) to represent the ought-to-be version of the Chisholm set properly. For the ought-to-do variant we employ a reduction to dynamic logic, and show how the Chisholm set can be treated adequately in this setting. Finally we discuss a way of integrating both ought-to-be and ought-to-do reasoning, enabling one to draw conclusions from ought-to-be constraints to ought-to-do ones, and show by an example the use(fulness) of this

Standardizing effect size from linear regression models with log-transformed variables for meta-analysis

Background: Meta-analysis is very useful to summarize the effect of a treatment or a risk factor for a given disease. Often studies report results based on log-transformed variables in order to achieve the principal assumptions of a linear regression model. If this is the case for some, but not all studies, the effects need to be homogenized. Methods: We derived a set of formulae to transform absolute changes into relative ones, and vice versa, to allow including all results in a meta-analysis. We applied our procedure to all possible combinations of log-transformed independent or dependent variables. We also evaluated it in a simulation based on two variables either normally or asymmetrically distributed. Results: In all the scenarios, and based on different change criteria, the effect size estimated by the derived set of formulae was equivalent to the real effect size. To avoid biased estimates of the effect, this procedure should be used with caution in the case of independent variables with asymmetric distributions that significantly differ from the normal distribution. We illustrate an application of this procedure by an application to a meta-analysis on the potential effects on neurodevelopment in children exposed to arsenic and manganese. Conclusions: The procedure proposed has been shown to be valid and capable of expressing the effect size of a linear regression model based on different change criteria in the variables. Homogenizing the results from different studies beforehand allows them to be combined in a meta-analysis, independently of whether the transformations had been performed on the dependent and/or independent variables

Observation of an Exotic S=+1S=+1 Baryon in Exclusive Photoproduction from the Deuteron

In an exclusive measurement of the reaction $\gamma d \to K^+ K^- p n$, a narrow peak that can be attributed to an exotic baryon with strangeness $S=+1$ is seen in the $K^+n$ invariant mass spectrum. The peak is at $1.542\pm 0.005$ GeV/c$^2$ with a measured width of 0.021 GeV/c$^2$ FWHM, which is largely determined by experimental mass resolution. The statistical significance of the peak is $5.2 \pm 0.6 \sigma$. The mass and width of the observed peak are consistent with recent reports of a narrow $S=+1$ baryon by other experimental groups.Comment: 5 pages, 5 figure

Measurement of Beam-Spin Asymmetries for Deep Inelastic π+\pi^+ Electroproduction

We report the first evidence for a non-zero beam-spin azimuthal asymmetry in the electroproduction of positive pions in the deep-inelastic region. Data have been obtained using a polarized electron beam of 4.3 GeV with the CLAS detector at the Thomas Jefferson National Accelerator Facility (JLab). The amplitude of the $\sin\phi$ modulation increases with the momentum of the pion relative to the virtual photon, $z$, with an average amplitude of $0.038 \pm 0.005 \pm 0.003$ for $0.5 < z < 0.8$ range.Comment: 5 pages, RevTEX4, 3 figures, 2 table

Measurement of the Polarized Structure Function σLT′\sigma_{LT^\prime} for p(e⃗,e′p)πop(\vec{e},e'p)\pi^o in the Δ(1232)\Delta(1232) Resonance Region

The polarized longitudinal-transverse structure function $\sigma_{LT^\prime}$ has been measured in the $\Delta(1232)$ resonance region at $Q^2=0.40$ and 0.65 GeV$^2$. Data for the $p(\vec e,e'p)\pi^o$ reaction were taken at Jefferson Lab with the CEBAF Large Acceptance Spectrometer (CLAS) using longitudinally polarized electrons at an energy of 1.515 GeV. For the first time a complete angular distribution was measured, permitting the separation of different non-resonant amplitudes using a partial wave analysis. Comparison with previous beam asymmetry measurements at MAMI indicate a deviation from the predicted $Q^2$ dependence of $\sigma_{LT^{\prime}}$ using recent phenomenological models.Comment: 5 pages, LaTex, 4 eps figures: to be published in PRC/Rapid Communications. Version 2 has revised Q^2 analysi

Two-Nucleon Momentum Distributions Measured in 3He(e,e'pp)n

We have measured the 3He(e,e'pp)n reaction at 2.2 GeV over a wide kinematic range. The kinetic energy distribution for `fast' nucleons (p > 250 MeV/c) peaks where two nucleons each have 20% or less, and the third nucleon has most of the transferred energy. These fast pp and pn pairs are back-to-back with little momentum along the three-momentum transfer, indicating that they are spectators. Experimental and theoretical evidence indicates that we have measured distorted two-nucleon momentum distributions by striking the third nucleon and detecting the spectator correlated pair.Comment: 6 pages, 5 figures, submitted to PR

Survey of A_LT' asymmetries in semi-exclusive electron scattering on He4 and C12

Single spin azimuthal asymmetries A_LT' were measured at Jefferson Lab using 2.2 and 4.4 GeV longitudinally polarized electrons incident on He4 and C12 targets in the CLAS detector. A_LT' is related to the imaginary part of the longitudinal-transverse interference and in quasifree nucleon knockout it provides an unambiguous signature for final state interactions (FSI). Experimental values of A_LT' were found to be below 5%, typically |A_LT'| < 3% for data with good statistical precision. Optical Model in Eikonal Approximation (OMEA) and Relativistic Multiple-Scattering Glauber Approximation (RMSGA) calculations are shown to be consistent with the measured asymmetries.Comment: 9 pages, 5 figure

Onset of asymptotic scaling in deuteron photodisintegration

We investigate the transition from the nucleon-meson to quark-gluon description of the strong interaction using the photon energy dependence of the $d(\gamma,p)n$ differential cross section for photon energies above 0.5 GeV and center-of-mass proton angles between $30^{\circ}$ and $150^{\circ}$. A possible signature for this transition is the onset of cross section $s^{-11}$ scaling with the total energy squared, $s$, at some proton transverse momentum, $P_T$. The results show that the scaling has been reached for proton transverse momentum above about 1.1 GeV/c. This may indicate that the quark-gluon regime is reached above this momentum.Comment: Accepted by PRL; 5 pages, 2 figure

First Measurement of Transferred Polarization in the Exclusive e p --> e' K+ Lambda Reaction

The first measurements of the transferred polarization for the exclusive ep --> e'K+ Lambda reaction have been performed in Hall B at the Thomas Jefferson National Accelerator Facility using the CLAS spectrometer. A 2.567 GeV electron beam was used to measure the hyperon polarization over a range of Q2 from 0.3 to 1.5 (GeV/c)2, W from 1.6 to 2.15 GeV, and over the full center-of-mass angular range of the K+ meson. Comparison with predictions of hadrodynamic models indicates strong sensitivity to the underlying resonance contributions. A non-relativistic quark model interpretation of our data suggests that the s-sbar quark pair is produced with spins predominantly anti-aligned. Implications for the validity of the widely used 3P0 quark-pair creation operator are discussed.Comment: 6 pages, 4 figure